منابع مشابه
All Liouville Numbers are Transcendental
In this Mizar article, we complete the formalization of one of the items from Abad and Abad’s challenge list of “Top 100 Theorems” about Liouville numbers and the existence of transcendental numbers. It is item #18 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http: //www.cs.ru.nl/F.Wiedijk/100/. Liouville numbers were introduced by Joseph Liouville in 1844 [15] as an ...
متن کاملGeometric Rigidity for Class S of Transcendental Meromorphic Functions Whose Julia Sets Are Jordan Curves
We consider any transcendental meromorphic function f of Class S whose Julia set is a Jordan curve. We show that the Julia set of f either is an extended straight line or has Hausdorff dimension strictly greater than 1. The proof uses conformal iterated function systems and extends many earlier results of this type.
متن کاملTranscendental Brauer groups of products of CM elliptic curves
Let L be a number field and let E/L be an elliptic curve with complex multiplication by the ring of integers OK of an imaginary quadratic field K. We use class field theory and results of Skorobogatov and Zarhin to compute the transcendental part of the Brauer group of the abelian surface E × E. The results for the odd order torsion also apply to the Brauer group of the K3 surface Kum(E × E). W...
متن کاملTranscendental Brauer-manin Obstruction on a Pencil of Elliptic Curves
Let Br(X) denote the cohomological Brauer group H ét(X,Gm) of a scheme X. Let k be a number eld and k be an algebraically closed extension of k. A class in the Brauer group of a projective smooth variety X over k is said to be algebraic if it belongs to the kernel of the restriction map Br(X)→ Br(Xk), transcendental otherwise; this property does not depend on the choice of k. For any prime numb...
متن کاملAutomatic Continued Fractions Are Transcendental or Quadratic
We establish new combinatorial transcendence criteria for continued fraction expansions. Let α = [0; a1, a2, . . .] be an algebraic number of degree at least three. One of our criteria implies that the sequence of partial quotients (a`)`≥1 of α is not ‘too simple’ (in a suitable sense) and cannot be generated by a finite automaton. Résumé. Nous établissons de nouveaux critères combinatoires de ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Letters in Mathematical Physics
سال: 2021
ISSN: 0377-9017,1573-0530
DOI: 10.1007/s11005-020-01349-y